ML

FAQ:
Greg Morrisett:
ftp://rtfm.mit.edu/pub/usenet/news.answers/meta-lang-faq
http://www.lib.ox.ac.uk/internet/news/faq/archive/meta-lang-faq.html
http://www.cs.cmu.edu/afs/cs.cmu.edu/misc/sml/build/archived-mail/sml-list/ftp/faq.txt
http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/jgmorris/web/sml-faq.html

                                           1. CAML

                                            CAML Light

If a camel flies, no one laughs if it doesn't get very far.
--> Paul White

Page: 
http://pauillac.inria.fr/caml/

VERSION - UPDATE: 0.7  (07-05-95)                               

README:
" Caml Light is a small, portable implementation of the ML language that runs on most Unix machines. It has also been ported to the Macintosh, the PC, and other microcomputers.
Caml Light implements the Caml language, a functional language from the ML family. Caml is quite close to Standard ML, though not strictly conformant. There are some slight differences in syntax and semantics, and major differences in the module system (these changes were required to support separate compilation)."

AUTHORS:
Xavier Leroy 
Arnand Vandame
Damien Doligez
Pierre Weis
    
COPYRIGHT:
(c) Institut National de Recherche en Informatique et en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le Chesnay Cedex - France. 1989 - 1995

TYPE:
Freeware

INTERNET SITES:
Original site:
ftp://ftp.inria.fr/lang/caml-light/

Other sites (mirrors):
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/caml-light/
ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/caml-light/
http://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/caml-light/

                                                  2. SML

Page:
http://foxnet.cs.cmu.edu/sml.html

                                                 2.1 NJSML93+

New Jersey is not the armpit of the nation;
it's the asshole of the universe.
--> Jonathan Michael Smith

Page:
http://www.cs.Princeton.EDU:80/faculty/appel/smlnj/

VERSION - UPDATE:  93.1b2 (09-06-93)                                

README: 
"Standard ML of New Jersey is a compiler and programming environment for the Standard ML programming language. It was developed jointly at AT&T Bell Laboratories and Princeton University." 
http://www.cs.Princeton.EDU:80/faculty/appel/smlnj/

AUTHORS:
mac port:
Soren Christensen
    
COPYRIGHT:  
(c) 1988-93 AT&T & others 

TYPE:
Freeware

INTERNET SITES:
Original site:
ftp://research.att.com/dist/ml/mac/

Other sites:
ftp://ftp.switch.ch/software/mac/src/think_c/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/sml/mac/
ftp://ftp.funet.fi/pub/languages/ml/sml/mac/
ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/sml/mac/
http://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/sml/mac/

                                                 2.2 EdSML

                                                 2.2.1 EdSML

NAMES: 
archived file: macsml412.sit.hqx 
application: FAM  

VERSION - UPDATE: 4.1.2.v1 (06-26-92) 

README:
"This is a port of the "version 4" Edinburgh SML to the Macintosh using Symantec's Think C compiler. This includes the SML Core language (without modules). A "project file" for Think C is provided so that the bytecode interpreter can be modified or recompiled if needed. The global symbol MAC_LSC is defined in the project to enable changes required to create this version of the FAM."
  
AUTHORS:
Unix:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
mac port:
David G. Durand
    
COPYRIGHT:  
(c)  1992 Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh

TYPE:
Freeware

INTERNET SITES:
ftp://ftp.fu-berlin.de/mac/lang/ML/                                     ftp://ftp.cs.tu-berlin.de/pub/mac/lang/ML/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/sml/mac/ 

                                           2.2.2 StandardML

NAMES: 
archived file: MacintoshSML.hqx 
application: FAM

VERSION - UPDATE: 3.5.v01 (09-06-89)              

README:
"This document describes our port/implementation of the Edinburgh Standard ML system on the Macintosh created by Meta Software Corporation as part of its Coloured Petri Net (CPN) project. The result of this project will be a CPN based simulator which will execute sequential program fragments written in an extended version of Standard ML. For more information about this project please contact Kurt Jensen c/o Meta Software Corp."

AUTHORS:
Unix:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
mac port:
META SOFTWARE CORPORATION
OCTOBER 1988
    
COPYRIGHT:
(c) Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh 
(c) Meta Software Corp.

TYPE:
Freeware 

INTERNET SITES:
ftp://ftp.fu-berlin.de/mac/lang/ML/
ftp://ftp.cs.tu-berlin.de/pub/mac/lang/ML/
ftp://ftp.informatik.tu-muenchen.de/pub/comp/programming/languages/sml/mac/
ftp://ftp.dcs.ed.ac.uk/export/ml/mac/

                                           3. Mosml

If Stavrogin believes, he doesn't believe that he believes;
if he doesn't believe, he doesn't believe that he doesn't believe.
--> Fyodor Dostoevski

Page:
http://www.dina.kvl.dk/~sestoft/mosml.html

                                         (Mac) Mosml

The USDA once wanted to make cows produce milk faster, to improve the dairy industry. (...) The foremost mathematician of his time offered to help them with the problem. (...) He handed them a piece of paper with the computations for the new, 300% improved milk cow.
The plans began:
"A Proof of the Attainability of Increased Milk Output from Bovines: Consider a spherical cow......"
--> Chet Murthy

VERSION - UPDATE: 1.31 (10-20-95)
68k+ppc            

README:
"Moscow ML provides a light-weight implementation of Core Standard ML, a strict functional language widely used in teaching and research. It is based on the Caml Light system, and is particularly useful when fast compilation and modest storage consumption are more important than fast program execution.
The new version 1.31 of Moscow ML

* provides installable prettyprinters
* fixed various minor bugs and deficiencies
* works for the Macintosh (68k and PPC), thanks to Doug Currie
(...)
* The Macintosh executables (and documentation) are in
        ftp://ftp.dina.kvl.dk/pub/mosml/mac-mos13bin.sea.hqx
* The Macintosh modifications (to Unix) source files are in
        ftp://ftp.dina.kvl.dk/pub/mosml/mac-mos13src.sea.hqx"

AUTHORS:
Linux:
Sergei Romanenko, Peter Sestoft
mac port:
Doug Currie
    
COPYRIGHT:
(C) 1994, 1995 Sergei Romanenko, Moscow, Russia
and Peter Sestoft, Copenhagen, Denmark.

TYPE:
Freeware (:GNUware)

INTERNET SITES:
Original site:
ftp://ftp.dina.kvl.dk/pub/mosml/

Other site (mirror):
ftp://ftp.dcs.ed.ac.uk/pub/ml/Moscow/